[merge] gnulib: adjust to upstream _HEADERS change
authorPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Feb 2011 08:29:50 +0000 (00:29 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Sun, 6 Feb 2011 08:29:50 +0000 (00:29 -0800)
commit7c961a2018a7053852d329b3f10616f5bac12f86
treeaf470dab0b34969b85c7efdfce8384e9bc819e21
parent46d5562ce200d1bb2fac1ffe9d1d1007d3953c23
parent38cd8e23d244bdf3e38823559cd01d7c97544c5a
[merge] gnulib: adjust to upstream _HEADERS change